Some Issues on Control of Discrete Event Systems Using Model Specifications

In this paper the control of a logical discrete-event system is introduced using predicates and associated blocking events. The blocking occurs when a predicate concerning the system behaviour becomes true. It is shown that model speciications can be transformed into control objectives involving predicates and blocking events. Next, we consider the control problem when events are unobservable and uncontrollable. It is shown that when the control objectives are decidable a separation principle holds, i.e., the problems of uncontrollability and unobservability can be solved separately and independently.